Buniakowski's inequality

柯西-許瓦爾茲不等式